中英
1
theorem proving by rule based system中文是什么意思
发音:
- 基于规则系统的定理証明
- rule based deduction system 基于规则的演绎系统
- rule based production system 基于规则的产生式系统
- rule-based deduction system 基于规则的演译系统; 基于规则的演绎系统
- rule-based expert system 基干规则的专家系统; 基于规则的专家系统
- rule-based inference system 基于规则的推理系统
- rule-based production system 规则基产生式系统
- rule-based system 规则基系统; 基于规则的系统
- theorem proving 定理证明
- answer statement in rule-based system 基于规则系统的回答语句
- backward rule-based deduction system 基于反向规则的演绎系统
- forward rule-based deduction system 基于规则的正向演绎系统, 正向规则演绎系统
- automated theorem proving 自定理明; 自动定理证明
- automatic theorem proving 自动定理证明
- mechanical theorem proving 机器证明
- non-resolution theorem proving 非解析定理求解
- proving fermat’s last theorem 证明费马最后定理
- resolution theorem proving 归结定理证明消解式定理证明
- resolution theorem-proving 解析定理证明
- theorem proving machine 定理证明机
- theorem proving representation 定理证明表示
- theorem proving technique 定理证明技术
- rule based 基于规则
- rule-based 法则式; 规则性; 基于规则的
- system-proving missile 系统检验用导弹
- fuzzy rule-based method 基于模糊规则的方法
- 推荐英语阅读
theorem proving by rule based system的中文翻译，theorem proving by rule based system是什么意思，怎么用汉语翻译theorem proving by rule based system，theorem proving by rule based system的中文意思，theorem proving by rule based system的中文，theorem proving by rule based system in Chinese，theorem proving by rule based system的中文，theorem proving by rule based system怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。
Last modified time:Sat, 16 Aug 2025 00:29:56 GMT
相邻词汇
"theorem on multiplication of probabilities"什么意思"theorem on regular set"什么意思"theorem on the composition of velocities"什么意思"theorem proving by resolution"什么意思"theorem proving by resolution refutation"什么意思"theorem proving for robot problem solving"什么意思"theorem proving system"什么意思"theorem proving use of resolution"什么意思"theorem schema"什么意思
关于我们
